#ifndef _XBOOK_KERNEL_H
#define _XBOOK_KERNEL_H

int kernel_main(void);

#endif   /* _XBOOK_KERNEL_H */
